Bounded-Choice Statements for User Interaction in Imperative Programming
نویسندگان
چکیده
منابع مشابه
Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming
Adding versatile interactions to imperative programming – C, Java and Android – is an essential task. Unfortunately, existing languages provide only limited constructs for user interaction. These constructs are usually in the form of unbounded quantification. For example, existing languages can take the keyboard input from the user only via the read(x)/scan(x) statement. Note that the value of ...
متن کاملImproving Robustness via Disjunctive Statements in Imperative Programming
To deal with failures as simply as possible, we propose a new foundation for the core (untyped) C, which is based on a new logic called task logic or imperative logic. We then introduce a sequential-disjunctive statement of the form S : R. This statement has the following semantics: execute S and R sequentially. It is considered a success if at least one of S,R is a success. This statement is u...
متن کاملBounded Choice Queries for Logic Programming
Adding I/O to logic programming is an essential task. Unfortunately, none of the existing logic languages can model bounded inputs. Executing the goal read(x)G from a program P simply tries to unify x with the keyboard input. This is an unpredictable and unguided situation, because the user can type in anything. We propose to modify the operational semantics above to allow for more controlled a...
متن کاملIncorporating User Interaction into Imperative Languages
Abstract: Adding versatile interactions to imperative programming – C, Java and Android – is an essential task. Unfortunately, existing languages provide little constructs for user interaction. We propose a computability-logical approach [1] to user interaction. We illustrate our idea via C, an extension of the core C with a new choice statement. keywords: user interaction, choose, computabilit...
متن کاملFunctional Programming for Imperative Programmers
This document introduces functional programming for those that are used to imperative languages, but are trying to come to terms with recursion and other techniques used in functional programming. We use OCaml as the primary language, and we assume that the reader has been introduced to its basic syntax and features. The goal of this document is to help these programmers get more comfortable wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2016
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2015edl8141